$\forall$$M$:Dsys.  $\parallel$ $M$